theorems on compact sets